翻訳と辞書
Words near each other
・ Partners In Leadership
・ Partners in Policymaking
・ Partners in Population and Development
・ Partners in Praise Girls Choir
・ Partners in Quality
・ Partners in Research
・ Partners in School Innovation
・ Partners in South-South Cooperation
・ Partners in Time
・ Partners Mel and Jay
・ Partners of Peril
・ Partners of the Americas
・ Partners of the Plains
・ Partners Please
・ Partition refinement
Partition regularity
・ Partition riots in Rawalpindi
・ Partition Sejm
・ Partition table
・ Partition topology
・ Partition Treaty on the Status and Conditions of the Black Sea Fleet
・ Partition type
・ Partition-Saving
・ Partitioned global address space
・ Partitioned-off duke
・ Partitioning Communication System
・ Partitioning cryptanalysis
・ Partitioning of the Ottoman Empire
・ Partitionism
・ PartitionMagic


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Partition regularity : ウィキペディア英語版
Partition regularity

In combinatorics, a branch of mathematics, partition regularity is one notion of largeness for a collection of sets.
Given a set X, a collection of subsets \mathbb \subset \mathcal(X) is called ''partition regular'' if every set ''A'' in the collection has the property that, no matter how ''A'' is partitioned into finitely many subsets, at least one of the subsets will also belong to the collection. That is,
for any A \in \mathbb, and any finite partition A = C_1 \cup C_2 \cup \cdots \cup C_n, there exists an ''i'' ≤ ''n'', such that C_i belongs to \mathbb. Ramsey theory is sometimes characterized as the study of which collections \mathbb are partition regular.
== Examples ==

* the collection of all infinite subsets of an infinite set ''X'' is a prototypical example. In this case partition regularity asserts that every finite partition of an infinite set has an infinite cell (i.e. the infinite pigeonhole principle.)
* sets with positive upper density in \mathbb: the ''upper density'' \overline(A) of A \subset \mathbb is defined as \overline(A) = \limsup_ \frac.
* For any ultrafilter \mathbb on a set X, \mathbb is partition regular. If \mathbb \ni A =\bigcup_1^n C_i, then for exactly one i is C_i \in \mathbb.
* sets of recurrence: a set R of integers is called a ''set of recurrence'' if for any measure preserving transformation T of the probability space (Ω, β, μ) and A \in\ \beta of positive measure there is a nonzero n \in R so that \mu(A \cap T^A) > 0.
* Call a subset of natural numbers ''a.p.-rich'' if it contains arbitrarily long arithmetic progressions. Then the collection of a.p.-rich subsets is partition regular (Van der Waerden, 1927).
* Let ()^n be the set of all ''n''-subsets of A \subset \mathbb. Let \mathbb^n = \bigcup^_^n is partition regular. (Ramsey, 1930).
* For each infinite cardinal \kappa, the collection of stationary sets of \kappa is partition regular. More is true: if S is stationary and S=\bigcup_ S_ for some \lambda < \kappa , then some S_ is stationary.
* the collection of \Delta-sets: A \subset \mathbb is a \Delta-set if A contains the set of differences \ for some sequence \langle s_n \rangle^\omega_.
* the set of barriers on \mathbb: call a collection \mathbb of finite subsets of \mathbb a ''barrier'' if:
*
* \forall X,Y \in \mathbb, X \not\subset Y and
*
* for all infinite I \subset \cup \mathbb, there is some X \in \mathbb such that the elements of X are the smallest elements of I; ''i.e.'' X \subset I and \forall i \in I \setminus X, \forall x \in X, x.
: This generalizes Ramsey's theorem, as each ()^n is a barrier. (Nash-Williams, 1965)
* finite products of infinite trees (Halpern–Läuchli, 1966)
* piecewise syndetic sets (Brown, 1968)
* Call a subset of natural numbers ''i.p.-rich'' if it contains arbitrarily large finite sets together with all their finite sums. Then the collection of i.p.-rich subsets is partition regular (FolkmanRado–Sanders, 1968).
* (''m'', ''p'', ''c'')-sets (Deuber, 1973)
* IP sets (Hindman, 1974, see also Hindman, Strauss, 1998)
* MT''k'' sets for each ''k'', ''i.e.'' ''k''-tuples of finite sums (Milliken–Taylor, 1975)
* central sets; ''i.e.'' the members of any minimal idempotent in \beta\mathbb, the Stone–Čech compactification of the integers. (Furstenberg, 1981, see also Hindman, Strauss, 1998)

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Partition regularity」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.